KAMET II Conceptual Modeling Language, a Visual and Consistent Language Proved using Concept Algebra
نویسندگان
چکیده
منابع مشابه
Conceptual Modeling with Formal Concept Analysis on Natural Language Texts
The paper presents conceptual modelling technique on natural language texts. This technique combines the usage of two conceptual modeling paradigms: conceptual graphs and Formal Concept Analysis. Conceptual graphs serve as semantic models of text sentences and the data source for concept lattice – the basic conceptual model in Formal Concept Analysis. With the use of conceptual graphs the Text ...
متن کاملConsistent Architectural Refinement and Evolution using the Unified Modeling Language
Architecture Description Languages (ADLs) comprise a sizeable set of modeling techniques that are aimed at bridging the gap between requirements engineering and low-level design and code. ADLs excel in their ability to model high-level functional and non-functional aspects of software systems and have demonstrated increasing support for trade-off analyses (i.e., requirements feasibility) and si...
متن کاملA Conceptual Modeling Language for Spatiotemporal Applications
This paper presents a conceptual modeling language for spatiotemporal applications that offers built-in support for capturing geo-referenced, time-varying information. More specifically, the well-known object-oriented Unified Modeling Language (UML) is extended to capture the semantics of space and time as they appear in spatiotemporal applications. Language clarity and simplicity is maintained...
متن کاملVisual Language Plans - Formalization of a Pedagogical Learnflow Modeling Language
In this paper we present an approach to support selfregulated learnflows in the collaborative environment Metafora. In this environment students construct Visual Language Plans. Those plans model workflows of learning activities, which the students execute to solve complex learning scenarios across different tools. Visual Language plans were already used in the context of different pedagogical ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia Computer Science
سال: 2015
ISSN: 1877-0509
DOI: 10.1016/j.procs.2015.08.103